<select>
    <option value="libre" selected="selected">Todas las bibliotecas</option>
<?php foreach($bibliotecas as $biblioteca): ?>
    <option value="<?php echo $biblioteca->getId() ?>">
        <?php echo $biblioteca->getNombreCorto() ?>
    </option>
<?php endforeach; ?>
    
</select>